$\forall$$p$:FinProbSpace, $f$:($\mathbb{N}\rightarrow\mathbb{N}$), $X$:($n$:$\mathbb{N}\rightarrow$RandomVariable($p$;$f$($n$))).
\\[0ex]rv{-}identically{-}distributed($p$;$n$.$f$($n$);$n$.$X$($n$)) $\in$ $\mathbb{P}$